proof by induction divisibility